% --- This style file is used for the demos included into the manual ---

% Non-default names for the TeX output files.
index.tex "#.ndx"
modules.tex "#.mds"
contents.tex "#.cts"

% Subscript symbols with the module number where they were defined.
mark_defined.fcn_name 1
mark_defined.WEB_macro 1
mark_defined.outer_macro 1
mark_defined.exp_type 1
mark_defined.typedef_name 1
